/* CSS for binder integration */

div.binder-badge {
  margin: 1em auto;
  vertical-align: middle;
}
